退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用带有测试的Kleene代数证明编译器优化
Dexter Kozen; Maria-Cristina Patron;
机译:带有测试的守卫Kleene代数:在几乎线性的时间内验证未解释的程序(特邀演讲)
机译:具有测试和分支自动机的并行Kleene代数
机译:语言等效和Kleene代数的符号算法
机译:编译器优化认证:使用具有测试的Kleene代数
机译:关系Kleene代数的Horn理论。
机译:弱伪互补拟Kleene代数的两个对偶
机译:使用Kleene代数和测试的编译器优化认证
机译:光纤产品用于通信系统的代数几何代码解码过程,涉及对编译的代数代码进行解码,该代数代码定义在由X和Z方程表示的同一代数曲线上
机译:编译器的优化方法,编译器的优化器和存储优化代码的存储介质
机译:编译器的优化方法,编译器的优化和存储介质存储的优化代码
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。